mathematic(al) logic

simgesel usbilim/ mantık, matematiksel mantık, kavramları sözcüklerle değil, simgelerle göstererek işlem yapan usbilim/ mantık.